Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies
نویسنده
چکیده
It was mentioned on multiple occasions that datatype expressions are a necessary component of any production quality knowledge base and will surely play a major role in the upcoming Semantic Web. This paper briefly summarizes the work on improving the support for tractable reasoning with datatype expressions in ELK a highly efficient reasoner. Tests have shown an exceptional speed of ontology classification of great size which opens up new perspectives for applying ontologies with datatype expressions in practice.
منابع مشابه
ELK Reasoner: Architecture and Evaluation
ELK is a specialized reasoner for the lightweight ontology language OWL EL. The practical utility of ELK is in its combination of high performance and comprehensive support for language features. At its core, ELK employs a consequence-based reasoning engine that can take advantage of multi-core and multi-processor systems. A modular architecture allows ELK to be used as a stand-alone applicatio...
متن کاملOWL-E: Extending OWL with Expressive Datatype Expressions
Although OWL, an emerged standard of expressing ontologies in the Semantic Web, is a very expressive ontology language, the OWL datatyping formalism is far not expressive enough to generally represent user-defined datatypes (such as XML Schema derived datatypes), not to mention user-defined datatype predicates (such as > for non-negative integers) in Semantic Web ontologies and applications. In...
متن کاملA common layer of interoperability for biomedical ontologies based on OWL EL
MOTIVATION Ontologies are essential in biomedical research due to their ability to semantically integrate content from different scientific databases and resources. Their application improves capabilities for querying and mining biological knowledge. An increasing number of ontologies is being developed for this purpose, and considerable effort is invested into formally defining them in order t...
متن کاملUniversity of Oxford Consequence-based Datatype Reasoning in EL: Identifying the Tractable Fragments
The current dissertation suggests a consequence-based reasoning approach for the EL⊥ description logic with numerical datatypes. It provides a set of saturation rules which are used in the formulation of a polynomial classfication algorithm. Furthermore, it introduces the notion of safety which is a property that numerical datatypes exhibit and guarantees the preservation of polynomiality. The ...
متن کاملParallel ABox Reasoning of EL Ontologies
In order to support the vision of the Semantic Web, ontology reasoning needs to be highly scalable and efficient. A natural way to achieve scalability and efficiency is to develop parallel ABox reasoning algorithms for tractable OWL 2 profiles to distribute the load between different computation units within a reasoning system. So far there have been some work on parallel ABox reasoning algorit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013